Nuprl Definition : rtag
11,40
postcript
pdf
rtag(
info
;
e
) == case
info
(
e
) of inl(
p
) =>
| inr(
q
) =>
q
.2
latex
Definitions
t
.2
,
,
rtag(
info
;
e
)
FDL editor aliases
rtag
origin
| inr(q) => q.2 | inr(q) => q.2